A abordagem do Rust à confiança não é apenas sobre evitar erros; é uma filosofia de design consciente. Ela categoriza cada falha potencial em dois domínios: Recuperável e Irrecuperável erros. Isso garante que os sistemas sejam resilientes, previsíveis e seguros contra corrupção silenciosa de dados.
1. A Taxonomia da Falha
Uma falha recuperável (como um arquivo ausente) é um obstáculo esperado onde o programa pode tentar novamente ou informar o usuário. Uma falha irrecuperável (como um estouro de buffer) representa uma falha lógica onde a ação mais segura é parar imediatamente — o princípio do Fail-Fast princípio.
2. Desenvolvimento Baseado em Contratos
A confiança é alcançada por meio de limites claros. Se os pré-requisitos de uma função forem atendidos, mas fatores externos causarem falha, retorne um Result. Se a lógica interna violar invariantes essenciais, o Rust força uma interrupção para impedir danos adicionais ao estado do sistema.